Erwig, Martin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

The graph Voronoi diagram with applications

Journal:

Year:

2000

Language:

english

File:

PDF, 124 KB

english, 2000

2

What is a Visual Language?

Erwig, Martin, Smeltzer, Karl, Wang, Xiangyu

Journal:

Journal of Visual Languages & Computing

Year:

2016

Language:

english

File:

PDF, 536 KB

english, 2016

3

The state of the art in end-user software engineering

Ko, Andrew J., Myers, Brad, Rosson, Mary Beth, Rothermel, Gregg, Shaw, Mary, Wiedenbeck, Susan, Abraham, Robin, Beckwith, Laura, Blackwell, Alan, Burnett, Margaret, Erwig, Martin, Scaffidi, Chris, Law

Journal:

ACM Computing Surveys

Year:

2011

Language:

english

File:

PDF, 4.49 MB

english, 2011

4

[Lecture Notes in Computer Science] Software Language Engineering Volume 8225 ||

Erwig, Martin, Paige, Richard F., Van Wyk, Eric

Year:

2013

Language:

english

File:

PDF, 10.22 MB

english, 2013

5

Functional programming with graphs

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.34 MB

english, 1997

6

Monadification of functional programs

Martin Erwig, Deling Ren

Journal:

Science of Computer Programming

Year:

2004

Language:

english

File:

PDF, 802 KB

english, 2004

7

A visual language for explaining probabilistic reasoning

Erwig, Martin, Walkingshaw, Eric

Journal:

Journal of Visual Languages & Computing

Year:

2013

Language:

english

File:

PDF, 1.84 MB

english, 2013

8

FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell

ERWIG, MARTIN, KOLLMANSBERGER, STEVE

Journal:

Journal of Functional Programming

Year:

2005

Language:

english

File:

PDF, 239 KB

english, 2005

9

Extending Type Inference to Variational Programs

Chen, Sheng, Erwig, Martin, Walkingshaw, Eric

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2014

Language:

english

File:

PDF, 706 KB

english, 2014

10

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.20-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14 - Early detection of type errors in C++ templates

Chen, Sheng, Erwig, Martin

Year:

2014

Language:

english

File:

PDF, 505 KB

english, 2014

11

Systematic identification and communication of type errors

CHEN, SHENG, ERWIG, MARTIN

Journal:

Journal of Functional Programming

Year:

2018

Language:

english

File:

PDF, 1.51 MB

english, 2018

12

[IEEE 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Lisbon, Portugal (2018.10.1-2018.10.4)] 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Comparative Visualizations through Parameterization and Variability

Smeltzer, Karl, Erwig, Martin

Year:

2018

Language:

english

File:

PDF, 1.21 MB

english, 2018

13

Systematic evolution of model-based spreadsheet applications

Luckey, Markus, Erwig, Martin, Engels, Gregor

Journal:

Journal of Visual Languages & Computing

Year:

2012

Language:

english

File:

PDF, 2.18 MB

english, 2012

14

A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus

Martin Erwig, Markus Schneider

Journal:

Journal of Visual Languages & Computing

Year:

2003

Language:

english

File:

PDF, 729 KB

english, 2003

15

[IEEE 2010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Leganes, Madrid, Spain (2010.09.21-2010.09.25)] 2010 IEEE Symposium on Visual Languages and Human-Centric Computing - Causal Reasoning with Neuron Diagrams

Erwig, Martin, Walkingshaw, Eric

Year:

2010

Language:

english

File:

PDF, 334 KB

english, 2010

16

Abstract Syntax and Semantics of Visual Languages

Journal:

Journal of Visual Languages & Computing

Year:

1998

Language:

english

File:

PDF, 309 KB

english, 1998

17

Inductive graphs and functional graph algorithms

Journal:

Journal of Functional Programming

Year:

2001

Language:

english

File:

PDF, 241 KB

english, 2001

18

[ACM Press the first workshop - St. Louis, Missouri (2005.05.21-2005.05.21)] Proceedings of the first workshop on End-user software engineering - WEUSE I - How to communicate unit error messages in spreadsheets

Abraham, Robin, Erwig, Martin

Year:

2005

Language:

english

File:

PDF, 1011 KB

english, 2005

19

[ACM Press the 11th International Conference - Dresden, Germany (2012.09.26-2012.09.27)] Proceedings of the 11th International Conference on Generative Programming and Component Engineering - GPCE '12 - Faster program adaptation through reward attribution inference

Bauer, Tim, Erwig, Martin, Fern, Alan, Pinto, Jervis

Year:

2012

Language:

english

File:

PDF, 437 KB

english, 2012

20

Grundlagen funktionaler Programmierung || Lösungen zu den Aufgaben

Year:

1999

Language:

german

File:

PDF, 794 KB

german, 1999

21

[IEEE 29th International Conference on Software Engineering - Minneapolis, MN, USA (2007.05.20-2007.05.26)] 29th International Conference on Software Engineering (ICSE'07) - GoalDebug: A Spreadsheet Debugger for End Users

Abraham, Robin, Erwig, Martin

Year:

2007

Language:

english

File:

PDF, 516 KB

english, 2007

22

Model inference for spreadsheets

Cunha, Jácome, Erwig, Martin, Mendes, Jorge, Saraiva, João

Journal:

Automated Software Engineering

Year:

2016

Language:

english

File:

PDF, 2.24 MB

english, 2016

23

[ACM Press the ninth international conference - Eindhoven, The Netherlands (2010.10.10-2010.10.13)] Proceedings of the ninth international conference on Generative programming and component engineering - GPCE '10 - A language for software variation research

Year:

2010

Language:

english

File:

PDF, 936 KB

english, 2010

24

Grundlagen funktionaler Programmierung || Lösungen zu den Aufgaben

Year:

1999

File:

PDF, 794 KB

1999

25

Gencel: a program generator for correct spreadsheets

ERWIG, MARTIN, ABRAHAM, ROBIN, KOLLMANSBERGER, STEVE, COOPERSTEIN, IRENE

Journal:

Journal of Functional Programming

Year:

2006

Language:

english

File:

PDF, 337 KB

english, 2006

26

Diets for fat sets

Journal:

Journal of Functional Programming

Year:

1998

Language:

english

File:

PDF, 121 KB

english, 1998

27

An update calculus for expressing type-safe program updates

Martin Erwig, Deling Ren

Journal:

Science of Computer Programming

Year:

2007

Language:

english

File:

PDF, 415 KB

english, 2007

28

Automatic detection of dimension errors in spreadsheets

Chris Chambers, Martin Erwig

Journal:

Journal of Visual Languages & Computing

Year:

2009

Language:

english

File:

PDF, 536 KB

english, 2009

29

[IEEE 2012 IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE) - Dallas, TX, USA (2012.11.27-2012.11.30)] 2012 IEEE 23rd International Symposium on Software Reliability Engineering - Lightweight Automated Testing with Adaptation-Based Programming

Groce, Alex, Fern, Alan, Pinto, Jervis, Bauer, Tim, Alipour, Amin, Erwig, Martin, Lopez, Camden

Year:

2012

Language:

english

File:

PDF, 395 KB

english, 2012

30

A foundation for representing and querying moving objects

Güting, Ralf Hartmut, Böhlen, Michael H., Erwig, Martin, Jensen, Christian S., Lorentzos, Nikos A., Schneider, Markus, Vazirgiannis, Michalis

Journal:

ACM Transactions on Database Systems

Year:

2000

Language:

english

File:

PDF, 262 KB

english, 2000

31

Software reuse for scientific computing through program generation

Erwig, Martin, Fu, Zhe

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2005

Language:

english

File:

PDF, 610 KB

english, 2005

32

Grundlagen funktionaler Programmierung || Frontmatter

Year:

1999

File:

PDF, 129 KB

1999

33

Encoding shortest paths in spatial networks

Journal:

Year:

1995

Language:

english

File:

PDF, 1.44 MB

english, 1995

34

[IEEE 2010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Leganes, Madrid, Spain (2010.09.21-2010.09.25)] 2010 IEEE Symposium on Visual Languages and Human-Centric Computing - SheetDiff: A Tool for Identifying Changes in Spreadsheets

Chambers, Chris, Erwig, Martin, Luckey, Markus

Year:

2010

Language:

english

File:

PDF, 647 KB

english, 2010

35

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - An error-tolerant type system for variational lambda calculus

Chen, Sheng, Erwig, Martin, Walkingshaw, Eric

Year:

2012

Language:

english

File:

PDF, 741 KB

english, 2012

36

Grundlagen funktionaler Programmierung || Inhaltsverzeichnis

Year:

1999

File:

PDF, 157 KB

1999

37

[Lecture Notes in Computer Science] Software Language Engineering Volume 8225 || Detecting Ambiguity in Programming Language Grammars

Erwig, Martin, Paige, Richard F., Van Wyk, Eric

Year:

2013

Language:

english

File:

PDF, 330 KB

english, 2013

38

An error-tolerant type system for variational lambda calculus

Chen, Sheng, Erwig, Martin, Walkingshaw, Eric

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 741 KB

english, 2012

39

[ACM Press the Seventh International Workshop - Pisa, Italy (2013.01.23-2013.01.25)] Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '13 - Adding configuration to the choice calculus

Erwig, Martin, Ostermann, Klaus, Rendel, Tillmann, Walkingshaw, Eric

Year:

2013

Language:

english

File:

PDF, 150 KB

english, 2013

40

[IEEE IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007) - Coeur d'Alene, ID, USA (2007.09.23-2007.09.27)] IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007) - A Type System Based on End-User Vocabulary

Abraham, Robin, Erwig, Martin, Andrew, Scott

Year:

2007

Language:

english

File:

PDF, 241 KB

english, 2007

41

[IEEE 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Herrsching am Ammersee (2008.09.15-2008.09.19)] 2008 IEEE Symposium on Visual Languages and Human-Centric Computing - Test-driven goal-directed debugging in spreadsheets

Abraham, Robin, Erwig, Martin

Year:

2008

Language:

english

File:

PDF, 445 KB

english, 2008

42

[ACM Press the 2012 Workshop - Minneapolis, MN, USA (2012.07.15-2012.07.15)] Proceedings of the 2012 Workshop on Dynamic Analysis - WODA 2012 - Finding common ground: choose, assert, and assume

Groce, Alex, Erwig, Martin

Year:

2012

Language:

english

File:

PDF, 217 KB

english, 2012

43

[IEEE 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2012) - Innsbruck (2012.9.30-2012.10.4)] 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Foreword

Costagliola, Gennaro, Erwig, Martin, Stapleton, Gem

Year:

2012

File:

PDF, 131 KB

2012

44

[IEEE 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Corvallis, OR, USA (2009.09.20-2009.09.24)] 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Visual explanations of probabilistic reasoning

Erwig, Martin, Walkingshaw, Eric

Year:

2009

Language:

english

File:

PDF, 360 KB

english, 2009

45

[Lecture Notes in Computer Science] Software Language Engineering Volume 8225 || Safe Specification of Operator Precedence Rules

Erwig, Martin, Paige, Richard F., Van Wyk, Eric

Year:

2013

Language:

english

File:

PDF, 311 KB

english, 2013

46

Visual type inference

Journal:

Journal of Visual Languages & Computing

Year:

2006

Language:

english

File:

PDF, 723 KB

english, 2006

47

[ACM Press the 17th ACM SIGPLAN International Conference - Boston, MA, USA (2018.11.05-2018.11.06)] Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2018 - Explaining spreadsheets with spreadsheets (short paper)

Cunha, Jácome, Dan, Mihai, Erwig, Martin, Fedorin, Danila, Grejuc, Alex

Year:

2018

File:

PDF, 767 KB

2018

48

[ACM Press the 17th ACM SIGPLAN International Conference - Boston, MA, USA (2018.11.05-2018.11.06)] Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2018 - Explaining spreadsheets with spreadsheets (short paper)

Cunha, Jácome, Dan, Mihai, Erwig, Martin, Fedorin, Danila, Grejuc, Alex

Year:

2018

Language:

english

File:

PDF, 767 KB

english, 2018

49

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - ClassSheets

Engels, Gregor, Erwig, Martin

Year:

2005

Language:

english

File:

PDF, 638 KB

english, 2005

50

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Counter-factual typing for debugging type errors

Chen, Sheng, Erwig, Martin

Year:

2014

Language:

english

File:

PDF, 702 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски